prove surjectivity

join shbcf.ru